Logical reasoning

Results: 409



#Item
141Deduction / Entailment / Logical consequence / Statistical hypothesis testing / Function / Logic / Philosophical logic / Metalogic

Qualitative Spatial Reasoning in Interpreting Text and Narrative Ernest Davis∗ Dept. of Computer Science New York University [removed]

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2011-09-05 16:39:50
142Reasoning / Logical consequence / Philosophical logic / Deduction / Hunt the Wumpus / PEAS / Inference / Entailment / Completeness / Logic / Science / Artificial intelligence

7 LOGICAL AGENTS In which we design agents that can form representations of the world, use a process of inference to derive new representations about the world, and use these new representations to deduce what to do.

Add to Reading List

Source URL: aima.cs.berkeley.edu

Language: English - Date: 2002-11-14 09:04:11
143Deduction / Propositional calculus / Logical consequence / Logical syntax / Inference / Mental model / Deductive reasoning / Natural deduction / Entailment / Logic / Science / Reasoning

Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:40:18
144Reasoning / Logical consequence / Thought / Deduction / Philosophical logic / Mental model / Inference / Argument / Entailment / Logic / Philosophy / Science

Memory & Cognition 2000, 28 (6), [removed]How to eliminate illusions in quantified reasoning YINGRUI YANG and P. N. JOHNSON-LAIRD Princeton University, Princeton, New Jersey

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:35:02
145Reasoning / Cognitive psychology / Thought / Logical consequence / Abstraction / Mental model / Logic / Argument / Reason / Mind / Science / Ethology

MENTAL MODELS AND DEDUCTIVE REASONING By P.N. Johnson-Laird Final version September 14th 2005 To be published in Rips, L. and Adler. J. (Eds.):

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:39:48
146Propositional calculus / Logical consequence / Logical syntax / Inference / Mental model / Entailment / Proposition / Argument / Rule of inference / Logic / Reasoning / Deduction

Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:40:33
147Reasoning / Thought / Logical consequence / Philosophical logic / Deduction / Mental model / Inference / Entailment / Reason / Logic / Science / Ethology

A mental model theory of set membership Sangeet Khemlani1, Max Lotstein2, and Phil Johnson-Laird3,4 [removed], [removed], [removed] 1 US Naval Research Laboratory, Washington, DC 2

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2014-04-30 11:38:34
148Reasoning / Epistemology / Charles Sanders Peirce / Logical consequence / Abductive reasoning / Defeasible reasoning / Entailment / Modal logic / Scientific method / Logic / Science / Philosophical logic

Chapter 1 Abduction of Multiple Explanatory Hypotheses 1

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2011-12-06 10:43:53
149Mind / Problem solving / Deduction / Epistemology / Critical thinking / Belief bias / Deductive reasoning / Reason / Logical reasoning / Logic / Science / Reasoning

Distinct neural substrates for deductive and mathematical processing

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-06-14 22:40:02
150Conditionals / Modal logic / Deontic logic / Logical connectives / Philosophical logic / Material conditional / Strict conditional / Logic / Mathematical logic / Propositional calculus

Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-05-29 05:24:27
UPDATE